Ihor Kuz: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

1

Towards trustworthy computing systems

Heiser, Gernot, Elphinstone, Kevin, Kuz, Ihor, Klein, Gerwin, Petters, Stefan M.

Journal:

ACM SIGOPS Operating Systems Review

Year:

2007

Language:

english

File:

PDF, 214 KB

english, 2007

2

CAmkES: A component model for secure microkernel-based embedded systems

Ihor Kuz, Yan Liu, Ian Gorton, Gernot Heiser

Journal:

Journal of Systems and Software

Year:

2007

Language:

english

File:

PDF, 209 KB

english, 2007

3

[IEEE 2012 Joint Working IEEE/IFIP Conference on Software Architecture (WICSA) & European Conference on Software Architecture (ECSA) - Helsinki, Finland (2012.08.20-2012.08.24)] 2012 Joint Working IEEE/IFIP Conference on Software Architecture and European Conference on Software Architecture - An Architectural Approach for Cost Effective Trustworthy Systems

Kuz, Ihor, Zhu, Liming, Bass, Len, Staples, Mark, Xu, Xiwei

Year:

2012

Language:

english

File:

PDF, 521 KB

english, 2012

4

[IEEE 2019 IEEE XVth International Conference on the Perspective Technologies and Methods in MEMS Design (MEMSTECH) - Polyana, Ukraine (2019.5.22-2019.5.26)] 2019 IEEE XVth International Conference on the Perspective Technologies and Methods in MEMS Design (MEMSTECH) - Mathematical Simulation of Electric Voltage in Lossy Transmission Line and the Problems of Optimizing MEMS - Devices Parameters

Nytrebych, Zinovii, Pukach, Petro, Bobyk, Ihor, Symotiuk, Mykhailo, Kuz, Anton

Year:

2019

Language:

english

File:

PDF, 277 KB

english, 2019

5

Formally verified software in the real world

Klein, Gerwin, Andronick, June, Fernandez, Matthew, Kuz, Ihor, Murray, Toby, Heiser, Gernot

Journal:

Communications of the ACM

Year:

2018

Language:

english

File:

PDF, 2.74 MB

english, 2018

6

The distributed ASCI Supercomputer project

Bal, Henri, Rühl, Tim, Veldema, Ronald, Verstoep, Kees, Baggio, Aline, Ballintijn, Gerco, Kuz, Ihor, Pierre, Guillaume, van Steen, Maarten, Tanenbaum, Andy, Doornbos, Gerben, Bhoedjang, Raoul, Germans

Journal:

ACM SIGOPS Operating Systems Review

Year:

2000

Language:

english

File:

PDF, 1.25 MB

english, 2000

7

[ACM Press the 4th workshop - Stevenson, Washington (2007.10.18-2007.10.18)] Proceedings of the 4th workshop on Programming languages and operating systems - PLOS '07 - Formalising device driver interfaces

Ryzhyk, Leonid, Kuz, Ihor, Heiser, Gernot

Year:

2007

Language:

english

File:

PDF, 138 KB

english, 2007

8

[IEEE 2012 2nd International Workshop on Software Engineering for Embedded Systems (SEES) - Zurich, Switzerland (2012.06.9-2012.06.9)] 2012 Second International Workshop on Software Engineering for Embedded Systems (SEES) - Welcome message of the chairs

He Zhang,, Liming Zhu,, Ihor Kuz,

Year:

2012

Language:

english

File:

PDF, 65 KB

english, 2012

9

Architecture optimisation with currawong

FitzRoy-Dale, Nicholas, Kuz, Ihor, Heiser, Gernot

Journal:

ACM SIGCOMM Computer Communication Review

Year:

2011

Language:

english

File:

PDF, 462 KB

english, 2011

10

[IEEE 2007 40th Annual Hawaii International Conference on System Sciences (HICSS'07) - Waikoloa, HI, USA (2007.01.3-2007.01.6)] 2007 40th Annual Hawaii International Conference on System Sciences (HICSS'07) - Tools for Model Driven Development

Zhu, Liming, Liu, Yan, Gorton, Ian, Kuz, Ihor

Year:

2007

Language:

english

File:

PDF, 146 KB

english, 2007

11

[ACM Press the fourth ACM european conference - Nuremberg, Germany (2009.04.01-2009.04.03)] Proceedings of the fourth ACM european conference on Computer systems - EuroSys '09 - Dingo

Ryzhyk, Leonid, Chubb, Peter, Kuz, Ihor, Heiser, Gernot

Year:

2009

Language:

english

File:

PDF, 428 KB

english, 2009

12

[ACM Press the Seventh Workshop - Farmington, Pennsylvania (2013.11.03-2013.11.06)] Proceedings of the Seventh Workshop on Programming Languages and Operating Systems - PLOS '13 - Towards a verified component platform

Fernandez, Matthew, Kuz, Ihor, Klein, Gerwin, Andronick, June

Year:

2013

Language:

english

File:

PDF, 270 KB

english, 2013

13

[ACM Press the ACM SIGOPS 22nd symposium - Big Sky, Montana, USA (2009.10.11-2009.10.14)] Proceedings of the ACM SIGOPS 22nd symposium on Operating systems principles - SOSP '09 - Automatic device driver synthesis with termite

Ryzhyk, Leonid, Chubb, Peter, Kuz, Ihor, Le Sueur, Etienne, Heiser, Gernot

Year:

2009

Language:

english

File:

PDF, 536 KB

english, 2009

14

[ACM Press the Second Workshop - Nuremburg, Germany (2009.03.31-2009.03.31)] Proceedings of the Second Workshop on Isolation and Integration in Embedded Systems - IIES '09 - Towards automatic performance optimisation of componentised systems

FitzRoy-Dale, Nicholas, Kuz, Ihor

Year:

2009

Language:

english

File:

PDF, 646 KB

english, 2009

15

The globe infrastructure directory service

Ihor Kuz, Maarten van Steen, Henk J Sips

Journal:

Computer Communications

Year:

2002

Language:

english

File:

PDF, 243 KB

english, 2002

16

[IEEE 2015 11th European Dependable Computing Conference (EDCC) - Paris, France (2015.9.7-2015.9.11)] 2015 11th European Dependable Computing Conference (EDCC) - Composing Patterns to Construct Secure Systems

Rimba, Paul, Zhu, Liming, Bass, Len, Kuz, Ihor, Reeves, Steve

Year:

2015

Language:

english

File:

PDF, 272 KB

english, 2015

17

A scalable middleware solution for advanced wide-area Web services

Steen, Maarten van, Tanenbaum, Andrew S, Kuz, Ihor, Sips, Henk J

Journal:

Distributed Systems Engineering

Year:

1999

Language:

english

File:

PDF, 540 KB

english, 1999

18

A Formal Approach to Constructing Secure Air Vehicle Software

Cofer, Darren, Gacek, Andrew, Backes, John, Whalen, Michael W., Pike, Lee, Foltzer, Adam, Podhradsky, Michal, Klein, Gerwin, Kuz, Ihor, Andronick, June, Heiser, Gernot, Stuart, Douglas

Journal:

Year:

2018

File:

PDF, 9 KB

2018

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@1delivery.pm

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски